منابع مشابه
Path feasibility and modification
Kinematic feasibility of a planned robot path is restrained by the kinematic constraints of the robot executing the task, such as workspace, configuration, and singularity. Since these kinematic constraints can be described utilizing the geometry of the given robot, corresponding regions within the robot workspace can be expressed in geometrical representation. Consequently, geometric informati...
متن کاملAn Empirical Study of Path Feasibility Queries
In this paper we present a comparative study of path feasibility queries generated during path exploration based software engineering methods. Symbolic execution based methods are gaining importance in different aspects of software engineering e.g. proving properties about programs, test case generation, comparing different executions of programs. These methods use SMT solvers to check the sati...
متن کاملPath Feasibility Analysis for String-Manipulating Programs
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this problem, including its undecidability in the general case and decidability of some special cases. In the context of test-case generation, we are interested in an efficient finite model finding method for string constrain...
متن کاملA Constraint Solver and Its Application to Path Feasibility Analysis
Many testing methods are based on program paths. A well-known problem with them is that some paths are infeasible. To decide the feasibility of paths, we may solve a set of constraints. In this paper, we describe constraint-based tools that can be used for this purpose. They accept constraints expressed in a natural form, which may involve variables of different types such as integers, Booleans...
متن کاملModification of Reasoned Action Theory and comparison with the original version by path analysis for substance abuse prevention among adolescents
Introduction: Objective of present study was assessing the competence of self efficacy to development of theory of Reasoned Action (TRA) and comparison with original version by path analysis for substance abuse prevention among adolescents. Methods: In this analytic study, 433 randomly selected adolescents (range of age 15–19) from Tehran participated in study. The study design was based ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Robotic Systems
سال: 1992
ISSN: 0741-2223,1097-4563
DOI: 10.1002/rob.4620090504